Towards Deduction in RoboCup
نویسندگان
چکیده
We are currently working on designing clients for Robocup-Simulation-League in Prolog and C++. We feel that logic and deduction is an appropriate approach for this task. A single player is part of a team and he has to deduce information on his situation. For example, players have to recognize when passing the ball is possible or a player is ooside. But, almost naturally, tasks to be solved by a team of autonomous agents are many-sided and complex. To achieve a goal a single agent has to use a set of complementary subtasks. Some of these subtasks consist of solving numerical equations to enable a player to handle tasks like dribbling or actually passing the ball. On the other hand, we have to derive new information from a given set of facts. So we were lead to the idea to combine both the advantages of procedural and logic programming and decided on a hybrid system. As a result, we implemented the Robolog Prolog extension. This extension is an enhanced RoboCup soccerserver interface for ECLiPSe-Prolog 3]. Time critical and computational expensive tasks are handled within the Robolog module, as well as the exchange of data. The developer of a soccer client accesses the calculated data via Prolog predicates. The module provides the atomic soccerserver commands and some more complex actions. Our C++-Module simulates the player's nerves in so far as it is the reasoners connection to the soccer-server. It supplies the reasoner with sensory input and initiates actions. The Prolog engine handles the player's reasoning and planing, i.e. to a certain degree it models a real soccer player's reasoning. However, it is diicult to say, in how far cognitive actions that are done on a subconscious level by humans, e.g. calculating the amount of kickpower needed to pass (or stop) the ball, should or could be added to the "nerves-layer" of our clients.
منابع مشابه
A New Real-Time Algorithm to Extend DL Assertional Formalism to Represent and Deduce Entities in Robotic Soccer
Creating, maintaining, and deducing accurate world knowledge in a dynamic, complex, adversarial, and stochastic environment such as the RoboCup environment is a demanding task. Knowledge should be represented in real-time (i.e., within ms) and deduction from knowledge should be inferred within the same time constraints. We propose an extended assertional formalism for an expressive SROIQ(D) Des...
متن کاملSpatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive and well understandable. They can be realized as (constraint) logic programs. The logical description language is able to express actions or plans for one and more autonomous and cooperating agents for the RoboCup (Simulator Leag...
متن کاملToBI - Team of Bielefeld : The Human - Robot Interaction System for RoboCup @ Home 2011
The Team of Bielefeld (ToBI) was founded in 2009. The robocup activities are embedded in a long-term research history towards human-robot interaction with laypersons in regular home environments. The robocup@home competition is an important benchmark and milestone for the overall research goal. For robocup 2011, the team concentrates on mixed-initiative scenarios, sophisticated scene understand...
متن کاملToBI - Team of Bielefeld: The Human-Robot Interaction System for RoboCup@Home 2010
The Team of Bielefeld (ToBI) has been founded in 2009. The robocup activities are embedded in a long-term research history towards human-robot interaction with laypersons in regular home environments. The robocup@home competition is an important benchmark and milestone for the overall research goal. For robocup 2010, the team concentrates on mixed-initiative scenarios, person detection capabili...
متن کامل